$\forall$$A$, $B$:Realizer.
\\[0ex]Rds($A$) $\parallel$ Rds($B$)
\\[0ex]$\Rightarrow$ Rda($A$) $\parallel$ Rda($B$)
\\[0ex]$\Rightarrow$ $\neg$R{-}base{-}domain($A$) = R{-}base{-}domain($B$)
\\[0ex]$\Rightarrow$ R{-}base{-}ma($A$) $\parallel$ R{-}base{-}ma($B$)